منابع مشابه
Sample environment at low temperatures
2014 A review of low temperature techniques as applied to neutron scattering studies is presented. Methods of temperature measurements especially carbon thermometry are discussed. Problems of heat transfer are treated in detail for different kind of samples and some solutions are proposed. Revue Phys. Appl. 19 (1984) 677-683 SEPTEMBRE 1984, The number of neutron scattering studies at temperatur...
متن کاملRecasting MLF
The language MLF has been proposed as an alternative to System F that permits partial type inference a la ML. It differs from System F by its types and type-instance relation. Unfortunately, the definition of type instance is only syntactic, and not underpinned by some underlying semantics. It has so far only been justified a posteriori by the type soundness result. In this work, we revisit MLF...
متن کاملHarnessing MLF with the Power of System F
We provide a strong normalization result for ML, a type system generalizing ML with first-class polymorphism as in system F. The proof is achieved by translating ML into a calculus of coercions, and showing that this calculus is just a decorated version of system F.
متن کاملSearching for a Sterile Neutrino at J-PARC MLF: JSNS2 experiment
The search for sterile neutrinos is one of the hottest topics in the neutrino physics in this decade. The JSNS2 (J-PARC Sterile Neutrino Search at the J-PARC Spallation Neutron Source) experiment aims to search for the existence of neutrino oscillations with ∆m2 near 1eV2 at the J-PARC Materials and Life Science Experimental Facility (MLF). With the 1 MW of 3 GeV proton beam created by Rapid Cy...
متن کاملNotes for pipelines of transformations for MLF
These notes attempt to survey basic manipulations that can be done to a ML functional program prior to compilation. The paper does not consider transformations for improvement of the code but it only considers manipulations of the source text which can allow the compiler to do a better job. Which manipulationto choose depends on the target language. The survey can be useful for answering the ab...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: hamon
سال: 2015
ISSN: 1349-046X,1884-636X
DOI: 10.5611/hamon.25.4_283